
add_subdirectory(solver)

add_subdirectory(checkers)
add_subdirectory(framework)
#add_subdirectory(VFG)#add-0
#add_subdirectory(DFA)
add_subdirectory(CFG)
add_subdirectory(P2A)
#add_subdirectory(repair)
#add_subdirectory(jsoncpp)
add_subdirectory(DetectMe)

add_subdirectory(taint-check)
add_subdirectory(xml)
